Use of Petri Nets for Modeling an Agent-Based Interactive System: Basic Principles and Case Study

نویسندگان

  • Houcine Ezzedine
  • Christophe Kolski
چکیده

Several architecture models of interactive systems have been put forward by researchers over the past twenty years. Two main types of architecture can be distinguished: architectures with functional components: Langage (Foley & Vandam, 1982), Seeheim (Pfaff, 1985) and ARCH (Bass et al., 1991) and architectures with structural components: PAC (Coutaz, 1987), PAC-Amodeus (Nigay, et al., 1997), MVC (Goldberg, 1983), AMF (TarpinBernard & David, 1999), H4 (Guittet, 1995),.... The approaches currently used in interactive system design adopt a modular structuring aimed towards a better apprehension of the reactivity, flexibility, maintainability and re-use. Agent-based approaches are promising in this way. In the agent-based architecture proposed, we suggest using a division into three functional components: the application agents which handle the field concepts and cannot be directly accessed by the user; the interactive agents (or interface agents, or presentation agents) which , unlike the application agents, are in direct contact with the user (they can be seen by the user); the dialogue control agents which are also called mixed agents (Ezzedine & Trabelsi, 2005). Each agent therefore plays a role within its group; this role can be expressed in the form of the services it offers in the interactive system. We use so-called agent Petri Nets (PN) to model a priori the services offered by each interface agent: a service is defined as being a quadruplet S ={E, C, R, P}, with E: the event which triggers the service, C: the conditions to be met in order to perform this service, R: the resources necessary for the service to be performed, P: the property of this service, which can be either an operation concerning the agent alone (with or without a change of state for the interactive agents), or a call for the service of another agent. The succession of various calls for services gives rise to the succession of page-screens in the human-computer interface. This chapter begins with a state of the art about the use of Petri nets in Human-Machine Interaction. Then we explain the problem relating to agent-based architectures of interactive systems, and we propose a solution for the modeling of the interface agents of such architectures. Lastly, we illustrate our approach by a case study.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

Soccer Goalkeeper Task Modeling and Analysis by Petri Nets

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

متن کامل

A Formal Petri Net Based Model for Antivirus Update Agent System

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

متن کامل

Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...

متن کامل

Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012